Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques

The adoption of Description Logics for modeling real world domains within the Semantic Web is exponentially increased in the last years, also due to the availability of a large number of reasoning algorithms. Most of them exploit the tableau algorithm which has to manage non-determinism, a feature that is not easy to handle using procedural languages such as Java or C++. Reasoning on real world domains also requires the capability of managing probabilistic and uncertain information. We thus present TRILL, for “Tableau Reasoner for descrIption Logics in proLog” and TRILL , for “TRILL powered by Pinpointing formulas”, which implement the tableau algorithm and return the probability of queries. TRILL , instead of the set of explanations for a query, computes a Boolean formula representing them, speeding up the computation.